161. Syntax-directed semantics :
Author: Zoltán Fülöp, Heiko Vogler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
Classification :
QA76
.
7
Z658
1998
162. Systems dependability assessment :
Author: Jean-François Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Petri nets.
Classification :
QA267
163. Temporal Logic of Programs
Author: by Fred Kröger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
B947
1987
164. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019
165. <The> Handbook of Contemporary Semantic Theory
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantics - Handbooks, manuals, etc.,Semantics (Philosophy) - Handbooks, manuals, etc.,معنیشناسی - دستنامهها,معنیشناسی )فلسفه( - دستنامه ها,Lappin, Shalom.
Classification :
CD-B
,
P
,
325
,.
H28
,
1996
166. The Handbook of contemporary semantic theory
Author: / edited by Shalom Lappin
Library: Library of the Faculty of Foreign Languages and Literature (Tehran)
Subject: Semantics ــ فرهنگ جغرافيايي,Semantics (Philosophy) ــ فرهنگ جغرافيايي
Classification :
P
325
.
H28
1996
167. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
168. <The> Oxford handbook of linguistic analysis
Author: / edited by Bernd Heine and Heiko Narrog
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Linguistic analysis (Linguistics),زبانشناسی، تجزیه و تحلیل
Classification :
P126
.
O94
169. <The> Philosophy of David Kaplan
Author: / edited by Joseph Almog and Paolo Leonardi
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Kaplan, David, (David Benjamin), 1933-,Philosophy, American - 20th century,کاپلان ، دیوید ،۱۹۳۳ -,فلسفه ، آمریکا - قرن۲۰ م
Classification :
B945
.
K354
,
P55
2009
170. The claims of common sense :
Author: John Coates.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Philosophy, English-- 20th century.,Social sciences-- Philosophy.
Classification :
H61
.
C497
1996eb
171. The claims of common sense :
Author: John Coates.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Philosophy, English-- 20th century.,Social sciences-- Philosophy.
Classification :
H61
.
C497
1996eb
172. The formal semantics of programming languages
Author: / Glynn Winskel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
W555
1993
173. The handbook of linguistics /
Author: edited by Mark Aronoff and Janie Rees-Miller
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics, Handbooks, manuals, etc,Dilbilim, El kitapları, rehberler vb
Classification :
P121
.
H324
2001
174. The philosophy of generative linguistics /
Author: Peter Ludlow
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Generative grammar-- Philosophy
Classification :
P158
175. The pragmatics of negation :
Author: edited by Malin Roitman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general-- Negatives.,Language and languages-- Negatives.,Negation (Logic),Pragmatics.,Semantics.,Grammar, Comparative and general-- Negatives.,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Syntax.,Negation (Logic),Pragmatics.,Semantics.
Classification :
P299
.
N4
176. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.
177. The semantic web -- ISWC 2018 :
Author: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
Classification :
TK5105
.
88815
178. The syntax and semantics of noun modifiers and the theory of universal grammar :
Author: Min-Joo Kim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Korean language-- Determiners.,Korean language-- Grammar.,Korean language-- Semantics.,Korean language-- Grammar.,Korean language-- Semantics.
Classification :
PL925
.
D47
179. The syntax and semantics of pseudo-incorporation /
Author: Edited by Olga Borik, Berit Gehrke
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Definiteness (Linguistics),Grammar, Comparative and general-- Noun,Grammar, Comparative and general-- Syntax,Semantics
Classification :
P291
.
S95628
2015
180. The world of programming languages
Author: Michael Marcotty ; Henry Ledgard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmiersprache -- 0 Gesamtdarstellung.,Programmiersprache.
Classification :
QA76
.
7
M534
1987
